%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Pre-processing                          : 0.084s
%% Hypothesis Space Generation             : 0.049s
%% Conflict analysis                       : 0.981s
%%   - Brave Orders                        : 0.981s
%% Counterexample search                   : 0.209s
%%   - CDOEs                               : 0.14s
%%   - CDPIs                               : 0.069s
%% Hypothesis Search                       : 1.317s
%% Propagation                             : 3.22s
%%   - CDOEs                               : 3.22s
%% Total                                   : 6.641s
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
:~ value(pasta,V1).[V1@4, V1]

